* doc/misc/erc.texi: Remove hand-written node pointers.
authorGlenn Morris <rgm@gnu.org>
Sat, 6 Oct 2012 01:13:01 +0000 (21:13 -0400)
committerGlenn Morris <rgm@gnu.org>
Sat, 6 Oct 2012 01:13:01 +0000 (21:13 -0400)
commit458633e62cd0fc39357c42db0371c25486e49a12
tree618f1de85cac3f7c10f219e8dbe289d99b126d94
parent5892a5b9b75b35c9da2dc0964a96421f4f798efe
* doc/misc/erc.texi: Remove hand-written node pointers.
doc/misc/ChangeLog
doc/misc/erc.texi